nLab cubical set

Redirected from "cubical set - exposition".

Contents

Definition

Notation

We make use of the notation of category of cubes.

Definition

The category of cubical sets is the free co-completion of \square, the category of cubes.

Remark

The free co-completion of a small category can be constructed as the category of presheaves of sets on this category. Thus we can also think of the category of cubical sets as the category of presheaves of sets on \square.

Notation

We denote the category of cubical sets by Set op\mathsf{Set}^{\square^{op}}.

Definition

A cubical set is an object of Set op\mathsf{Set}^{\square^{op}}.

Remark

When we think of the category of cubical sets as the category of presheaves of sets on \square, we consequently think of a cubical set as a presheaf of sets on \square.

Definition

A morphism of cubical sets is an arrow of Set op\mathsf{Set}^{\square^{op}}.

Idea

The definition is to be understood from the point of view of space and quantity: a cubical set is a space characterized by the fact that, and the ways in which, it may be probed by mapping standard cellular cubes into it: the set S nS_n assigned by a cubical set to the standard nn-cube [n][n] is the set of nn-cubes in this space, hence the way of mapping a standard nn-cube into this spaces.

Being a functor S: opSetS : \Box^{op} \to Set, a cubical set SS also assigns maps between its sets S nS_n of nn-cubes which determine in which way smaller cubes sit inside larger cubes.

The face maps go from sets S n+1S_{n+1} of (n+1)(n+1)-dimensional cubes to the corresponding set S nS_{n} of nn-dimensional cubes and can be thought of as sending each cube in the cubical set to one of its faces, for instance for n=1n=1 the set S 2S_2 of 2-cubes would be sent in four different ways by four different face maps to the set of 11-cubes, for instance one of the face maps would send

(a b F c d)(a b) \left( \array{ a &\to& b \\ \downarrow &\Downarrow^F& \downarrow \\ c &\to& d } \right) \;\; \mapsto \;\; \left( \array{ a &\to& b } \right)

another one would send

(a b F c d)(a c). \left( \array{ a &\to& b \\ \downarrow &\Downarrow^F& \downarrow \\ c &\to& d } \right) \;\; \mapsto \;\; \left( \array{ a \\ \downarrow \\ c } \right) \,.

On the other hand, the degeneracy maps go the other way round and send sets S nS_n of nn-cubes to sets S n+1S_{n+1} of (n+1)(n+1)-cubes by regarding an nn-cube as a degenerate or “thin” (n+1)(n+1)-cube in the various different ways that this is possible. For instance again for n=1n=1 a degeneracy map may act by sending

(a f b)(a f b Id Id Id a f b). \left( \array{ a &\stackrel{f}{\to}& b } \right) \;\; \mapsto \;\; \left( \array{ a &\stackrel{f}{\to}& b \\ \downarrow^{Id} &\Downarrow^{Id}& \downarrow^{Id} \\ a &\stackrel{f}{\to}& b } \right) \,.

Notice the IdId-labels, which indicate that the edges and faces labeled by them are “thin” in much the same way as an identity morphism is thin (notice however that a cubical set by itself is not equipped with a notion of composition of cubes. If it were, we’d call it a cubical ∞-category).

In an ordinary cubical set all degeneracy maps act in the kind of way depicted above. One might also want to require a cubical set to contain “thin” cells between equal adjacent faces. These extra degeneracy maps act by sending 1-cells to degenerate 2-cells of the form

(a f b)(a f b f Id b Id b).\left(\array{ a&\stackrel{f}{\to}&b }\right) \;\; \mapsto \;\; \left(\array{ a & \stackrel{f}{\to} & b \\ \downarrow^{f} & \Downarrow & \downarrow^{Id} \\ b & \stackrel{Id}{\to} & b }\right) \,.

If the cubical set has this additional property, one calls it a cubical set with connection.

Monoidal structure

The strict monoidal structure of \square gives rise to a (non-strict) monoidal structure on Set op\mathsf{Set}^{\square^{op}}, by Day convolution. The unit of the monoidal structure is 0\square^{0}, in the notation of Notation . Whenever we use the symbol \otimes when working with cubical sets or morphisms of cubical sets, we shall always refer to the functor - \otimes - of this monoidal structure.

Notation

Free standing nn-cube, and an nn-cube of a cubical set

Notation

Let y:Set opy : \square \rightarrow \mathsf{Set}^{\square^{op}} denote the Yoneda embedding functor. Let n0n \geq 0 be an integer. We denote the cubical set y(I n)y(I^{n}) by n\square^{n}.

Terminology

We refer to n\square^{n} as the free-standing nn-cube.

Terminology

Let XX be a cubical set. Let n0n \geq 0 be an integer. By an nn-cube of XX, we shall mean a morphism of cubical sets nX\square^{n} \rightarrow X.

Notation

Let ff be a 1-cube of XX. We shall often depict ff as f:x 0x 1f : x_{0} \rightarrow x_{1} or as follows.

x 0 f x 1 \array{x_{0} & \overset{f}{\rightarrow} & x_{1}}

In this case, x 0x_{0} is to be understood to be the 00-cube fy(i 0)f \circ y(i_{0}) of XX, and x 1x_{1} is to be understood to be the 11-cube fy(i 1)f \circ y(i_{1}) of XX.

Notation

Let σ\sigma be a 2-cube of XX. We shall often depict σ\sigma as follows.

x 0 f 0 x 1 f 2 σ f 1 x 2 f 3 x 3 \array{ x_{0} & \overset{f_{0}}{\rightarrow} & x_{1} \\ f_{2} \downarrow & \sigma & \downarrow f_{1} \\ x_{2} & \underset{f_{3}}{\rightarrow} & x_{3} }

In this case, f 0f_{0} is to be understood to be the 11-cube σy(i 0I 1)\sigma \circ y(i_{0} \otimes I^{1}) of XX, f 1f_{1} is to be understood to be the 11-cube σy(I 1i 1)\sigma \circ y(I^{1} \otimes i_{1}) of XX, f 2f_{2} is to be understood to be the 11-cube σy(I 1i 0)\sigma \circ y(I^{1} \otimes i_{0}) of XX, and f 3f_{3} is to be understood to be the 1-cube σy(i 1I 1)\sigma \circ y(i_{1} \otimes I^{1}) of XX.

It can be checked that this notation is consistent with Notation .

Boundary of the free standing nn-cube, and of an nn-cube of a cubical set

Notation

Let n1n \geq 1 be an integer. We denote by :Set opSet op\partial : \mathsf{Set}^{\square^{op}} \rightarrow \mathsf{Set}^{\square^{op}} the functor given by defined by sk n1tr n1sk_{n-1} \circ tr_{n-1}, where tr n1tr_{n-1} is the (n1)(n-1)- truncation functor for cubical sets, and sk n1sk_{n-1} is the (n1)(n-1)- skeleton functor for cubical sets.

Terminology

Let n0n \geq 0 be an integer. We refer to n\partial \square^{n} as the boundary of n\square^{n}.

Notation

We also denote by 0\partial \square^{0} (recalling that Set op\mathsf{Set}^{\square^{op}} is, by construction, co-complete) the initial object of Set op\mathsf{Set}^{\square^{op}}.

Notation

Let n1n \geq 1 be an integer. We denote by i n: n ni_{n} : \partial \square^{n} \rightarrow \square^{n} the morphism of cubical sets corresponding, under the adjunction between sk n1sk_{n-1} and tr n1tr_{n-1} described at cubical truncation, skeleton, and co-skeleton, to the identity arrow tr n( n)tr n( n)tr_{n}(\square^{n}) \rightarrow tr_{n}(\square^{n}) in Set n1 op\mathsf{Set}^{\square_{n-1}^{op}}.

Terminology

Let n0n \geq 0 be an integer, and let σ: nX\sigma : \square^{n} \rightarrow X be an nn-cube of a cubical set XX. We refer to the morphism of cubical sets

n i n n σ X \array{\partial \square^{n} & \overset{i_{n}}{\rightarrow} & \square^{n} & \overset{\sigma}{\rightarrow} & X }

as the boundary of σ\sigma.

Notation

Let σ\sigma be a 2-cube of XX as follows.

x 0 f 0 x 1 f 2 σ f 1 x 2 f 3 x 3 \array{ x_{0} & \overset{f_{0}}{\to} & x_{1} \\ f_{2} \downarrow & \sigma & \downarrow f_{1} \\ x_{2} & \underset{f_{3}}{\to} & x_{3} }

We shall often depict the boundary of σ\sigma as follows.

x 0 f 0 x 1 f 2 f 1 x 2 f 3 x 3 \array{ x_{0} & \overset{f_{0}}{\to} & x_{1} \\ f_{2} \downarrow & & \downarrow f_{1} \\ x_{2} & \underset{f_{3}}{\to} & x_{3} }

Horns of the free-standing nn-cube

Notation

We define inductively, for any integer n1n \geq 1, any integer 1in1 \leq i \leq n, and any integer 0ϵ10 \leq \epsilon \leq 1, a cubical set n,i,ϵ\sqcap^{n,i,\epsilon} and a morphism of cubical sets i i,ϵ: n,i,ϵ ni_{i, \epsilon} : \sqcap^{n,i,\epsilon} \rightarrow \square^{n}.

When n=1n=1, we define both 1,1,0\sqcap^{1,1,0} and 1,1,1\sqcap^{1,1,1} to be 0\square^{0}. We define i 1,0: 0 1i_{1,0} : \square^{0} \rightarrow \square^{1} to be y(i 0)y(i_{0}), and define i 1,1: 0 1i_{1,1} : \square^{0} \rightarrow \square^{1} to be y(i 1)y(i_{1}).

Suppose that, for some integer n1n \geq 1, we have defined n,i,ϵ\sqcap^{n,i,\epsilon} and a morphism of cubical sets i i,ϵ: n,i,ϵ ni_{i, \epsilon} : \sqcap^{n,i,\epsilon} \rightarrow \square^{n} for all integers 1in1 \leq i \leq n, and all integers 0ϵ10 \leq \epsilon \leq 1. For 1in1 \leq i \leq n, we define (recalling that Set op\mathsf{Set}^{\square^{op}} is co-complete by construction) n+1,i,ϵ\sqcap^{n+1,i, \epsilon} to be a cubical set fitting into a co-cartesian square in Set op\mathsf{Set}^{\square^{op}} as follows.

n,i,ϵ n,i,ϵ ( n,i,ϵy(i 0))( n,i,ϵy(i 1)) n,i,ϵ 1 i i,ϵi i,ϵ r 0 n n r 1 n+1,i,ϵ \array{ \sqcap^{n,i,\epsilon} \sqcup \sqcap^{n,i,\epsilon} & \overset{\big( \sqcap^{n,i,\epsilon} \otimes y(i_{0}) \big) \sqcup \big( \sqcap^{n,i,\epsilon} \otimes y(i_{1}) \big)}{\rightarrow} & \sqcap^{n,i,\epsilon} \otimes \square^{1} \\ \mathllap{i_{i,\epsilon} \sqcup i_{i,\epsilon}} \downarrow & & \downarrow \mathrlap{r_{0}} \\ \square^{n} \sqcup \square^{n} & \underset{r_{1 }}{\rightarrow} & \sqcap^{n+1,i,\epsilon} }

We denote by i i,ϵ: n+1,i,ϵ n+1i_{i,\epsilon} : \sqcap^{n+1,i,\epsilon} \rightarrow \square^{n+1} the canonical arrow determined, by means of the universal property of n+1,i,ϵ\sqcap^{n+1,i,\epsilon}, by the following commutative square in Set op\mathsf{Set}^{\square^{op}}.

n,i,ϵ n,i,ϵ ( n,i,ϵy(i 0))( n,i,ϵy(i 1)) n,i,ϵ 1 i i,ϵi i,ϵ i i,ϵ 1 n n ( ny(i 0))( ny(i 1)) n+1 \array{ \sqcap^{n,i,\epsilon} \sqcup \sqcap^{n,i,\epsilon} & \overset{\big( \sqcap^{n,i,\epsilon} \otimes y(i_{0}) \big) \sqcup \big( \sqcap^{n,i,\epsilon} \otimes y(i_{1}) \big)}{\rightarrow} & \sqcap^{n,i,\epsilon} \otimes \square^{1} \\ \mathllap{i_{i,\epsilon} \sqcup i_{i,\epsilon}} \downarrow & & \downarrow \mathrlap{i_{i,\epsilon} \otimes \square^{1}} \\ \square^{n} \sqcup \square^{n} & \underset{\big( \square^{n} \otimes y(i_{0}) \big) \sqcup \big( \square^{n} \otimes y(i_{1}) \big)}{\rightarrow} & \square^{n+1} }

We define n+1,n+1,ϵ\sqcap^{n+1, n+1, \epsilon} to be a cubical set fitting into a co-cartesian square in Set op\mathsf{Set}^{\square^{op}} as follows.

n,n,ϵ n,n,ϵ (y(i 0) n,n,ϵ)(y(i 1) n,n,ϵ) 1 n,n,ϵ i n,ϵi n,ϵ r 0 n n r 1 n+1,n+1,ϵ \array{ \sqcap^{n,n,\epsilon} \sqcup \sqcap^{n,n,\epsilon} & \overset{\big( y(i_{0}) \otimes \sqcap^{n,n,\epsilon} \big) \sqcup \big( y(i_{1}) \otimes \sqcap^{n,n,\epsilon} \big)}{\rightarrow} & \square^{1} \otimes \sqcap^{n,n,\epsilon} \\ \mathllap{i_{n,\epsilon} \sqcup i_{n,\epsilon}} \downarrow & & \downarrow \mathrlap{r_{0}} \\ \square^{n} \sqcup \square^{n} & \underset{r_{1}}{\rightarrow} & \sqcap^{n+1,n+1,\epsilon} }

We denote by i n+1,ϵ: n+1,n+1,ϵ n+1i_{n+1,\epsilon} : \sqcap^{n+1,n+1,\epsilon} \rightarrow \square^{n+1} the canonical arrow determined, by means of the universal property of n+1,n+1,ϵ\sqcap^{n+1,n+1,\epsilon}, by the following commutative square in Set op\mathsf{Set}^{\square^{op}}.

n,n,ϵ n,n,ϵ (y(i 0) n,n,ϵ)(y(i 1) n,n,ϵ) 1 n,n,ϵ i n,ϵi n,ϵ 1i n,ϵ n n (y(i 0) n)(y(i 1) n) n+1 \array{ \sqcap^{n,n,\epsilon} \sqcup \sqcap^{n,n,\epsilon} & \overset{\big( y(i_{0}) \otimes \sqcap^{n,n,\epsilon} \big) \sqcup \big( y(i_{1}) \otimes \sqcap^{n,n,\epsilon} \big)}{\rightarrow} & \square^{1} \otimes \sqcap^{n,n,\epsilon} \\ \mathllap{i_{n,\epsilon} \sqcup i_{n,\epsilon}} \downarrow & & \downarrow \mathrlap{\square^{1} \otimes i_{n,\epsilon}} \\ \square^{n} \sqcup \square^{n} & \underset{\big( y(i_{0}) \otimes \square^{n} \big) \sqcup \big( y(i_{1}) \otimes \square^{n} \big)}{\rightarrow} & \square^{n+1} }
Terminology

We refer to n,i,ϵ\sqcap^{n, i, \epsilon} together with the morphism i i,ϵi_{i,\epsilon} as a horn of n\square^{n}.

Morphism from n\square^{n} to 0\square^{0}

Notation

We denote by p: n 0p : \square^{n} \rightarrow \square^{0} the arrow y(ppp n)y(\underbrace{p \otimes p \otimes \cdots p}_{n}) of Set op\mathsf{Set}^{\square^{op}}, making use of the fact that 0 0 0 n\underbrace{\square^{0} \otimes \square^{0} \otimes \cdots \square^{0}}_{n} is 0\square^{0}, since 0\square^{0} is the unit of the monoidal structure of Set op\mathsf{Set}^{\square^{op}}.

Cubical sets in homotopy theory

Daniel Kan‘s early work on homotopy theory used cubical sets instead of simplicial sets. But then a bit later it was found that plain cubical sets suffer from three disadvantages when it comes to modelling homotopy n-types:

  1. normalization of chains is essential

  2. cubical groups are not automatically fibrant

  3. the geometric realization of cartesian products of cubical sets (see geometric realization below) tends to have the wrong homotopy type:

    for instance the geometric realization of the cubical set I×II \times I has non-trivial homotopy groups and hence does not model the topological space given by the standard square, which is contractible.

It was then realized that none of these problems is shared by simplicial sets:

  1. Eilenberg and Mac Lane proved a normalisation theorem which may be found in Mac Lane’s book ‘Homology’.

  2. every simplicial group is necessarily a Kan complex and therefore fibrant in the standard model structure on simplicial sets

  3. geometric realization of simplicial sets is well behaved and in fact constitutes a cartesian monoidal Quillen equivalence

    ||:SSetTop:S() |-| : SSet \stackrel{\leftarrow}{\to} Top : S(-)

    between SSet and Top. For more on this see homotopy hypothesis.

These observations led to a widespread use of simplicial methods, while cubical methods coexisted only with a kind of underground existence, to this date.

There is, however, a proof of parts of the homotopy hypothesis also for cubical sets: their homotopy category is equivalent, after all, to the standard homotopy catgeory Top. This is described at model structure on cubical sets.

Also, it turns out that the second and third of the above disadvantages of cubical sets over simplicial sets in homotopy theory can be dealt with to some extent.

  1. The first problem can’t be avoided. See

    Rosa Antolini and Bert Wiest, The singular cubical set of a topological space , Mathematical Proceedings of the Cambridge Philosophical Society, 126 (1), (1999)

  2. The second problem is resolved, at least when restricting to strict omega-groupoids by using cubical sets with connection. See

    A. P. Tonks, Cubical groups which are Kan, J. Pure Appl. Algebra, 81 (1), (1992)

  3. the third problem is due to the fact that the cube category is a test category but not a strict test category. However, the category of cubes with connection is a strict test category, as shown by Georges Maltsiniotis, based on work by Denis-Charles Cisinski. See connection on a cubical set for details.

Geometric realization

If XX is a cubical set, the geometric realization |X||X| may be defined as the weighted colimit (a coend) in Top

X I = nX(n)I nX \otimes_{\Box} I^{\bullet} = \int^{n \in \Box} X(n) \cdot I^n

where I :(,,I)(Top,×,1)I^{\bullet}: (\Box, \otimes, I) \to (\Top, \times, 1) is the unique (up to isomorphism) monoidal functor mapping the generating object intint to [0,1][0, 1], and for k=0,1k = 0, 1, mapping i ki_k to the inclusion {k}[0,1]\{k\} \hookrightarrow [0, 1]. This is parallel to one way of defining the geometric realization of a simplicial set. Geometric realization is a functor left adjoint to the functor

cub:TopSet opcub: Top \to Set^{\Box^{op}}

which takes a space SS to the functor hom Top(I ,S)\hom_{Top}(I^{\bullet}-, S).

Subdivision and fibrant replacement

A cubical subdivision functor sdsd is discussed in Jardine 0, Section 5. It is an obvious subdivision of an nn-cube, which is just a product of barycentric subdivisions of intervals. The (functorial) subdivision sdXsd X of a cubical set XX is constructed from this naive subdivision of the nn-cube in the end. See Jardine’s lecture notes for details. There is a natural sequence of maps of cubical sets

sd nXsdXX \cdots \to sd^n X \to \cdots \to sd X \to X

defined similar to its simplicial counterparts. Let its right adjoint be denoted as usual by ExXEx X. So nn-cubes of ExXEx X are cubical maps from subdivision of the nn-cube to XX (similar to the definition of simplicial Ex-functor). We therefore get maps

XExXEx 2X X \to Ex X \to Ex^2 X \to \cdots

Let Ex XEx^\infty X be the union of the latter maps (similar to simplicial Ex Ex^\infty).

question: Is Ex XEx^\infty X a fibrant cubical set for any cubical set XX?.

Recall that a cubical set is fibrant if any cubical horn has a filler (similar to simplicial set: any Kan fibrant simplicial set has horn fillers). See also (Cisinski 2006) or Jardine’s lectures on cubical sets for definitions.

The first question is probably not true in general, but if we consider cubical sets with connections in the sense of Brown-Higgins (we add some degeneracy maps to cubical sets), see e.g. Maltsiniotis paper then the cubical subdivision remains the same and the Ex XEx^\infty X is defined similarly. The question is whether Ex XEx^\infty X with XX a cubical set with connections is fibrant. Is it true?

Model category structure and homotopy theory

There is a [Cisinski model structure]] on cubical sets with the same homotopy theory as the standard model structure on simplicial sets (Jardine 02), which models homotopy types/infinity-groupoids. See the article model structure on cubical sets for more information.

In fact (Jardine 02, theorem 29, theorem 30) gives an adjunction between the model categories which, while not quite a Quillen adjunction, does have unit and counit being weak equivalences. Hence by the discussion at adjoint (∞,1)-functor it should indeed follow that the derived functors of the adjunction exhibit the simplicial localizations of cubical sets equivalent to that of simplicial sets, hence make their (∞,1)-categories equivalent (hence equivalent to ∞Grpd).

This generalizes to a local model structure on cubical presheaves over any site, which has at least the same homotopy category as the corresponding local model structure on simplicial presheaves.

The category of cubical sets also admits a Joyal-type model structure, which admits a Quillen equivalence to the Joyal model structure on simplicial sets. See the article model structure for cubical quasicategories for more information.

Background

The notion of cubical set and of homology theory and homotopy theory based on singular cubes goes way back in the literature. Serre’s work on spectral sequences and fibre spaces was based on cubes. Kan’s early work on combinatorial homotopy was based on cubes. However the category of cubical sets was found to have a major disadvantage compared with simplicial sets, in that the cartesian product in this category failed to have the correct homotopy type. This is in striking contrast to the cartesian product on simplicial sets.

Nonetheless cubical sets continued to have a kind of underground existence.

Brown and Higgins introduced the extra structure of connections Γ i ±\Gamma^\pm_i on cubical sets, and included this structure into their cubical strict ∞-groupoids. All this structure was essential for the equivalence with crossed complexes and for the applications to homotopy theory. For example these ω\omega-groupoids have a canonical structure of thin elements, defined as any composition of elements of the form ±ϵ jx,±Γ i ±\pm \epsilon_j x, \pm \Gamma^\pm_i. Such elements have “commuting boundary”.

The geometric realisation of cubical sets with connections, and the relation with cartesian products, has been analysed by Maltsiniotis in the paper referred to below.

Nonetheless, the advantages of cubes are:

  1. Easy notions of multiple compositions (compared with the globular pasting schemes); we refer to compositions in cubical sets.

  2. Good notions of tensor product, because of the rule I m×I nI m+nI^m \times I^n \cong I^{m+n}, and hence easy conceptual handling of homotopies. This is exploited in the paper by Brown and Higgins on tensor products, and also in the following paper

  • Al-Agl, F. A., Ronnie Brown, and Steiner, R. Multiple categories: the equivalence of a globular and a cubical approach. Adv. Math. 170~(1) (2002) 71–118.

which gives a monoidal closed structure on cubical ω\omega-categories with connections, allowing the transfer of this to globular ω\omega-categories. The tensor product here generalises the Gray tensor product of 2-categories. This is also convenient in the homotopical structure on C*-algebras.

Cubical methods are a key feature in using higher homotopy groupoids to prove homotopy classification results.

General

Applications of cubical sets

In higher category theory

Theory of cubical sets

References

The original reference for cubical sets (based on the 1950 paper by Samuel Eilenberg and J. A. Zilber on simplicial sets) is

  • Daniel M. Kan, Abstract homotopy. I, Proceedings of the National Academy of Sciences 41:12 (1955), 1092–1096. doi.

Kan switched to simplicial sets in Part III of the series.

Another early reference is

  • Jean-Pierre Serre, Homologie singulière des espaces fibrés , Ann.

    Math. 54 no.3 (1951), pp.425-505. (pdf)

General introductions of the cube category and of cubical sets are in

The cubical identities satisfied by a cubical set are given there in proposition 2.8 on p. 9.

Cubical singular homology is discussed in

  • Massey, W. S., Singular homology theory, Graduate Texts in Mathematics, Volume~70. Springer-Verlag, New York (1980).

An axiomatization of cubical sets in constructive set theory/type theory (with the aim of building models of homotopy type theory) is in

See also

For more on this see at relation between category theory and type theory.

The homotopy theory / model category structure on cubical sets is discussed in

The fact that the exponential object of two fibrant cubical sets is again fibrant follows from remark 8.4.33 in

in the context of Cisinski model structures.

Finally cubical sets as categorical semantics for homotopy type theory with univalence is discussed in

The strict test category nature of cubical sets with connection is discussed in

  • Georges Maltsiniotis, La catégorie cubique avec connexions est une catégorie test stricte. Homology, Homotopy Appl. 11~(2) (2009) 309–326.

There is also the old work

  • Victor Gugenheim, On supercomplexes Trans. Amer. Math. Soc. 85 (1957), 35–51 PDF

in which “supercomplexes” are discussed, that combine simplicial sets and cubical sets (def 5). There are functors from simplicial sets to supercomplexes (after Defn 5) and, implicitly, from supercomplexes to cubical sets (in Appendix II). This was written in 1956, long before people were thinking as formally as nowadays and long before Quillen model theory, but a comparison of the homotopy categories might be in there.

A discussion of cubical sets and normal forms in several cases is in

  • Marco Grandis, and Mauri, L. Cubical sets and their site, Theory Applic. Categories {11} (2003) 185–201.

Cubical sets as models for strict ∞-groupoids are discussed in

  • Ronnie Brown, P. Higgins, The equivalence of ω\omega-groupoids and cubical TT-complexes, Cahiers de Topologie et Géométrie Différentielle Catégoriques, 22 no. 4 (1981), p. 349-370 (pdf).

Their use for monoidal closed structures and homotopy classification is given in

  • Ronnie Brown and P. Higgins, Tensor products and homotopies for ω\omega-groupoids and crossed complexes. J. Pure Appl. Algebra 47 (1987) 1–33.

and are essential in

Essential subtoposes of Set opSet^{\Box^{op}} are discussed in the context of Lawvere’s dialectical theory of dimension in

  • C. Kennett, E. Riehl, M. Roy, M. Zaks, Levels in the toposes of simplicial sets and cubical sets , JPAA 215 no.5 (2011) pp.949-961. (preprint)

Last revised on December 27, 2024 at 18:44:55. See the history of this page for a list of all contributions to it.